diagnose a subtype

Examples

Nothing found